BINOMIAL LOGIT MODEL UNTUK PEMILIHAN MODA ANTARA PESAWAT UDARA, KERETA API EKSEKUTIF, DAN KERETA API EKSPRES

General Strategies in Developing Alloy Steel Fuzzy Model for Machinability Data Selection

Beberapa fuzzy model untuk pemilihan data "machinability" bagi proses turning "alloy steel" telah dicadangkan dalam kertas keIja ini. Pemilihan data "machinability" merupakan suatu tugas yang penting, dan, biasanya ia dilaksanakan oleh parajurumesin yang mahir. Oleh sebab itu, fuzzy model telah dicadangkan untuk meramal data "machinability", iaitu kelajuan memotong dan kadar suapan yang optima....

Amazon Kinesis Firehose API Reference - API Reference

Amazon Kinesis Firehose API Reference - API Reference

The Irmis Object Model and Services Api*

The relational model developed for the Integrated Relational Model of Installed Systems (IRMIS) toolkit has been successfully used to capture the Advanced Photon Source (APS) control system software (EPICS process variables and their definitions). The relational tables are populated by a crawler script that parses each Input/Output Controller (IOC) start-up file when an IOC reboot is detected. ...

A Meta-Model for the Isabelle API

We represent a theory of (a fragment of) Isabelle/HOL in Isabelle/HOL. The purpose of this exercise is to write packages for domain-specific specifications such as class models, B-machines, . . . , and generally any languages that can be described with a sequence of “datatype” in HOL itself; the Isabelle code-generator can then be used to generate tactic code. Consequently the package is geared...